On the Existence of Solutions to Controlled Hybrid Automata
نویسنده
چکیده
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant systems whose inputs are controls that can be determined by the user. The principal result of the paper is a procedure that searches for global periodic non-terminating solutions of systems having a single cycle.
منابع مشابه
Dynamical properties of hybrid automata
Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid automata are studied here from a dynamical systems perspective. Necessary and sufficient conditions for existence and uniqueness of solutions are derived and a class of hybrid automata whose solutions depend continuously on the initial state is characterized. The results ...
متن کاملBasic results on distributed order fractional hybrid differential equations with linear perturbations
In this article, we develop the distributed order fractional hybrid differential equations (DOFHDEs) with linear perturbations involving the fractional Riemann-Liouville derivative of order $0 < q < 1$ with respect to a nonnegative density function. Furthermore, an existence theorem for the fractional hybrid differential equations of distributed order is proved under the mixed $varphi$-Lipschit...
متن کاملDhage iteration method for PBVPs of nonlinear first order hybrid integro-differential equations
In this paper, author proves the algorithms for the existence as well as the approximation of solutions to a couple of periodic boundary value problems of nonlinear first order ordinary integro-differential equations using operator theoretic techniques in a partially ordered metric space. The main results rely on the Dhage iteration method embodied in the recent hybrid fixed point theorems of D...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملModeling Urban Sprawling of Tehran Metropolitan Area Based on PSO
The main goal of the present study was to implement a hybrid pattern of cellular automata model and particle swarm optimization algorithm based on TM and ETM+ imagery of landsat satellite from 1988 to 2010 for simulating the urban sprawling. In this study, an alternative model was implemented in two ways: the first method was based on two images (1988 and 2010) and the second one was based on t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000